Radau to the rescue: efficient and accurate discretization for optimal control simulations of running | Synapse