Efficient Solution of Optimal Control Using Bisimulations