SymForce: Symbolic Computation and Code Generation for Robotics