Scheduling in Transactional Memory Systems: Models, Algorithms, and Evaluations