Text this: Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation