IReadOnlyList<Property> ContactClosedPenetrationTracker.Properties { get; }