Specification-Guided Data Aggregation for Semantically Aware Imitation Learning