4 types of mining