Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints