AuditingBlack-BoxPredictionModelsfor DataMinimizationCompliance