Task and motion planning using mixed integer linear programming for solving fetch-and-carry tasks by a mobile manipulator | Synapse