A Model and System for Querying Provenance from Data Cleaning Workflows