Lee-TM benchmark for STMX transactional memory