production of crushed hard rock