On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories