A study of the lock-free tour problem and path-based reformulations