¿En qué se invertirán los US$ 500 millones que recibió el BPS por los cincuentones? Entre trabajadores y jubilados hay 12.955 personas que optaron por salir del régimen mixto de aportes