Text this: Automatic security evaluation of SPN-structured block cipher against related-key differential using mixed integer linear programming