Public external debt, informality and production efficiency in developing countries