oedipus rex summary