$25M roof repair needed on historic Asheville High