What are methane gas hydrates and where are they found? Discuss the idea of benthic mining.