Sophocles, The Oedipus Cycle: Oedipus Rex, Oedipus at Colonus, Antigone