Ordered multi-stack visibly pushdown automata