A coupled thermo-hydro-mechanical model for evaluating air leakage from an unlined compressed air energy storage cavern