Design of Asymptotically Stable Walking for a 5-Link Planar Biped Walker via Optimization