10 types of mining