An ExpSpace Tableau-based Algorithm for SHOIQ