The vast majority of nitrogen fertilizers are produced by burning natural gas with atmospheric nitrogen to produce NH3, NH3OH and CO2.

https://en.wikipedia.org/wiki/Haber_process

I guess in a way, the natural gas extraction is a mining process.