Constraint Automata and the Complexity of Recursive Subtype Entailment