The implications of the Indonesian ore export ban on bauxite