Feature Selection for Linear SVM with Provable Guarantees