A simulation-based and data-driven framework for enabling the analysis and design of business processes based on blockchain and smart contracts solutions