Text this: Approximating Bisimulation in One-counter Nets