Mining Waste as a Resource in Construction: Applications, Benefits, and Challenges | Synapse