lecture23: optimal control example: rocket launch profile