New evolutionary models for massive ZZ Ceti stars. I. First results for their pulsational properties