Using global formulary apportionment for international profit allocation: The case of Indonesia's mining industry