Complexity of the Description Logic ALCM