Gradient Descent with Provably Tuned Learning-rate Schedules