The extraction of minerals or other geological resources from our planet is known as mining. Several resources can be recovered thanks to the mining process, including coal, metals, limestone, potash,…