Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions