Describir: History and Current State of Mining in the Kryvyi Rih Iron Ore Deposit