GASP: Answer Set Programming with Lazy Grounding