What should the commercial height limit be for the new campus development project?