On the analytical modeling of concurrency control algorithms for Software Transactional Memories: The case of Commit-Time-Locking