names of tools used for quarrying