What doctors want patients to know about heat stroke