Invariant-Feature Subspace Recovery: A New Class of Provable Domain Generalization Algorithms