Teaching Introductory Programming in Top Universities: A Global Study of Languages, Paradigms, Assessment, and AI