Dehn surgery and Heegaard Floer homology