Bayesian Estimation of Intra-operative Deformation for Image-Guided Surgery Using 3-D Ultrasound