IReadOnlyList<Property> ContactMaximumNormalStiffnessTracker.Properties { get; }