The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics