Can you share some insights why mutexes are difficult to get correct and scalable?