mining and types of mining