Evaluation of Direct Collocation Optimal Control Problem Formulations for Solving the Muscle Redundancy Problem | Synapse