Conjunctive Query Answering for the Description Logic SHIQ