Fact-Alternating Mutex Groups for Classical Planning