which american president had the highest iq