A Model Theoretic Proof of Szemerédi's Theorem