A Multi-Engine Approach to Answer Set Programming