An Introduction to Floer Homology