the differences between shaft mining and opencast mining