Text this: On the Expressive Power of Higher-Order Pushdown Systems