Rio Tinto shipped a record amount of iron ore in the final three months of 2017, helping the mining giant meet its annual target