Remove redundant attributes from PropertyStatistics

These can now be accessed through GroupingConfiguration:
grouping_property, higher_grouping, grouping_threshold.

(We leave grouping_type for later as it has more dependencies).