Provable algorithms for nonlinear models in machine learning and signal processing