Why East Timor’s GNP is four times as high as its GDP