Edipo rei (ópera)