Mechanism of bio-carbonation on leaching behavior: a case study of coal gasification slag-based binder | Synapse