Text this: A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct