“Here, rare earth extraction cleared 90 percent efficiency, taking 67 hours to get there. By contrast, leaching didn’t max out until 130 hours after extraction started, and its maximum efficiency was only 60 percent. Again, the extraction that used electricity had fewer contaminating metals.”