process of hard rock mining