Introduction to Lagrangian Floer homology