A multi-phase biogeochemical model for mitigating earthquake-induced liquefaction via microbially induced desaturation and calcium carbonate precipitation