Is there really a mining crisis?