Specification-Guided Imitation Learning