On the relevance of total-order broadcast implementations in replicated software transactional memories