Lazy State Determination: More concurrency for contending linearizable transactions