Mishcon loses to Cleary in billion-dollar mining arbitration