Discovering Information Integration Specifications From Data Examples