Harmonic diffeomorphisms of surfaces