What types of mining is there in the world today