The evolution of labor force participation and the expected length of retirement in Brazil