Mayor-Elect Mamdani taps ex–de Blasio official as top adviser