hard rock mining definition ap