what was katherine johnson's iq