A New Theory for Sketching in Linear Regression