what are the 3 types of mining