The United States uses approximately 3.0 trillion kWh of electricity annually. If 20% of this electrical energy were supplied by nuclear generating plants, how much nuclear mass would have to be converted to energy, assuming a production efficiency of 25%?