The effect of two extinction procedures after acquisition on a Sidman avoidance contingency