Seiberg–Witten Floer homology