A Globally Nonsingular Quaternion-Based Formulation for All-Electric Satellite Trajectory Optimization