The Greek city, in which Oedipus was king, has been home to which settlement as revealed through archaeological excavations?