Historic flooding damages 25% of UC-Boulder campus buildings