Construction Progress Monitoring through the Integration of 4D BIM and SLAM-Based Mapping Devices