Dirac gauginos and unification in F-theory