Text this: Minimization of visibly pushdown automata is NP-complete