John Grunsfeld to be inducted to astronaut hall of fame