Effective Dirac neutrino mass operator in the Standard Model with a local Abelian extension