Extension Variables in QBF Resolution