Bayesian Tactile Exploration for Compliant Docking With Uncertain Shapes