A Certifiable Algorithm for Simultaneous Shape Estimation and Object Tracking