Reducing Spatial Labeling Redundancy for Active Semi-Supervised Crowd Counting