Vibrational Dynamics of the hydrated proton using many-body permutationally invariant potential energy surfaces