SLABIM: A SLAM-BIM Coupled Dataset in HKUST Main Building