Optimal manipulator path planning with obstacles using disjunctive programming | Synapse