Teacher educators working on their own professional development: goals, activities and outcomes of a project for the professional development of teacher educators