sophocles: antigone and other tragedies