Optimal control design for a solar greenhouse