Benchmarking Different QP Formulations and Solvers for Dynamic Quadrupedal Walking