mechanised mine development utilising rock cutting and boring