Introduction to Fukaya-Oh-Ohta-Ono’s work on Lagrangian Floer theory