Recurrence And Mixing Properties Of Measure Preserving Systems And Combinatorial Applications