Lagrangian intersection Floer homology