Query-driven Procedures for Hybrid MKNF Knowledge Bases