how does hamlet kill claudius