A Proposed Approach Integrating DLT, BIM, IoT and Smart Contracts: Demonstration Using a Simulated Installation Task