sophocles oedipus the king summary