Is there any existing technology (Robot, AI-Climate techs, non-human agential, etc.) which can be used to capture and/or convert greenhouse gases before they are released into the atmosphere due to underground activities of mining and/or oil exploration?