Effect of magnesium formate as compared with magnesium oxide on the strength enhancement and microstructures of CaO-activated Class F fly ash system