The average percentage of government revenue spent on external public debt payments in developing countries