Trajectory Optimization and Machine Learning to Design Feedback Controllers for Bipedal Robots with Provable Stability