Simplifying Certifiable Estimation with Factor Graphs: Theory and System