Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages