Global inverse kinematics via mixed-integer convex optimization. (October 2019)