Lie groups, Calabi-Yau threefolds, and F-theory