City of Rochester buys historic theater with help from Mayo