Aluminum oxide is decomposed to extract pure aluminum from the mineral. If 6.7 tons of aluminum oxide is mined, calculate the mass of pure aluminum produced?