To be considered 'enriched', the uranium-235 fraction should be between 3% and 5%. What was the price of a pound of depleted uranium hexafluoride in 2001?