Mining and rock handling