An Efficient Framework for Concurrent Execution of Smart Contracts