UI: change Pause button's label when paused