Floer theory and its topological applications