Equivariant Lagrangian Floer theory