Otto Schenk, director known for traditional opera productions, dies at 94