Contact Implicit Optimization of Locomotion Trajectories for a Quadrupedal Microrobot