types of mining all around the world