Analytical modeling of Commit-Time-Locking algorithms for Software Transactional Memories