Ruth weighs 67 pounds and Judy weighs 58 pounds. How much heavier is Ruth than Judy?