Combining BIM and lean methods for scheduling for verifying and communicating demolition processes in an early project stage