TP-AGB stars in population synthesis models