Global minimum-time trajectory planning of mechanical manipulators using interval analysis | Synapse