Certifiably Optimal Estimation and Calibration in Robotics via Trace-Constrained Semi-Definite Programming