ExpTime Tableaux Algorithm for Contextualized ALC