An efficient algorithm for global optimization in redundant manipulations