Auto-Validate by-History: Auto-Program Data Quality Constraints to Validate Recurring Data Pipelines