Efficiently Coupling the I-DLV Grounder with ASP Solvers