Should You Worry About the Short Interest in Joy Global (JOY)?