Neutrino and Z′ phenomenology in an anomaly-free U(1) extension: role of higher-dimensional operators