Text this: Design and Performance of a Large-Diameter Earth–Air Heat Exchanger Used for Standalone Office-Room Cooling