Automorphisms of Surfaces after Nielsen and Thurston