Time Optimal Trajectory Planning For Redundant Robots: Joint Space Decomposition For Redundancy Resolution In Non Linear Optimization