Feature Selection for Ridge Regression with Provable Guarantees