MINA: Convex Mixed-Integer Programming for Non-Rigid Shape Alignment | IEEE Conference Publication | IEEE Xplore