Lunar fault maps reveal how much the moon is shrinking