Why do machine learning optimizers that work, work?