Studies on sulfate attack: Mechanisms, test methods, and modeling