A brief overview of Hamiltonian Floer homology