Use of Coal Mining Wastes in the Construction Industry to Promote a Circular Economy: A Systematic Literature Review | Synapse