oedipus rex short summary