Biomechanics-informed Non-rigid Medical Image Registration with Elasticity Theories | Synapse