A Blockchain and Decentralized Cloud Framework for Trust-free Automated Progress Payment of Construction Projects