Gradient Descent Converges to Minimizers