Abductive Completion of Plan Sketches