A Theoretical Understanding of Neural Network Compression from Sparse Linear Approximation