What China’s critical mineral ban means for the US