Efficient Quantum Algorithms for Quantum Optimal Control