Superintendent of one of Greater Cincinnati’s top-performing districts to exit