The Schwinger-Keldysh Formalism from an Effective Field Theory Perspective