Describir: Regularity Problems for Visibly Pushdown Languages