Surface phonons and thec(2×2)oxygen overlayer on Ni(100): Theory and experiment