A Provably Correct Algorithm for Deep Learning that Actually Works