Bad news for miners: China’s iron ore purchases have probably peaked