A Recovery Guarantee for Sparse Neural Networks