Mutex Graphs and Multicliques: Reducing Grounding Size for Planning