Formal Modeling of Smart Contracts for Quality Acceptance in Construction