Time-optimal monotonic convergent algorithms for the control of quantum systems