A pension system that covers only formal-sector workers is not just unfair; it is also economically inefficient