A True Concurrent Model of Smart Contracts Executions