Should my former employer report a lump sum severance payment on my regular W2 or on a 1099?