F-theory, GUTs, and the weak scale