Modeling and Querying Uncertainty in Data Cleaning