The Nielsen-Thurston classification