Taxes on consumption help governments in developing countries redistribute thanks to the presence of large informal sectors