O que pretendia o dramaturgo Sófocles a tragédia Édipo Rei?