A Successive Approximation Technique for Optimal Control Systems Subject to Input Saturation