Regularity-Guaranteed Transformation Estimation In Medical Image Registration