China dwarfs the US in rare earths mine production