The Theory, Implementation, and Evaluation of Spring Mass Running on ATRIAS, a Bipedal Robot