Mixed-Integer Linear Programming for Planning with Temporal Logic Tasks [Position Paper]