Resource Utilization of Red Mud in Low-Carbon Binders: A Review of Reaction Mechanisms, Performance, and Microstructure | Synapse