definition of quarry bauxite ore