how does hamlet get revenge on claudius