An Iterative Approach to Synthesize Data Transformation Programs