Minería, Petróleo y producción de gas