sophocles oedipus rex summary