New Formulation of Mixed-Integer Conic Programming for Globally Optimal Grasp Planning