mining tunnelling and quarrying industries