Lazy Model Expansion: Interleaving Grounding with Search