English Beginner Practical methods for optimal control and estimation using nonlinear programming Betts J.T. 2010 View book