Specification-Guided Generative Models