Theoretical studies of CO/Ni(100): Geometry, vibrational frequencies and ionization potentials for the on-top site