Hohmann transfer via constrained optimization