Optimal Stochastic Control, Stochastic Target Problems, and Backward SDE