Chemist Sir Humphry Davy famously invented a safety lamp for which industry?

I'm not good at mining

I love that he experimented with laughing gas. I remember as a teen getting laughing gas twice at my dentist. And the second time he said:"You sure love that laughing gas, don't you?" I sure did! 😆