Title: The gravity model of international trade with government procurement