equipment used with hard rock mining