a formal model for it-based design and construction integration (itdci)