Obtaining minimum energy biped walking gaits with symbolic models and numerical optimal control