Floer’s work on instanton homology, knots and surgery