Progresividad y redistribución por fuentes de renta en el IRPF dual