Aspects of Seiberg-Witten Floer theory