Optimal Sparse Linear Auto-Encoders and Sparse PCA