Synthesis of alkali-silica reaction (ASR) products and the role of Al and Li in mitigating ASR