Analytical modeling of lock-based concurrency control with arbitrary transaction data access patterns