types of mining for metal