Extended bounded response LTL: a new safety fragment for efficient reactive synthesis