Should oil and gas production tax increases be used to solve the Oklahoma budget impasse?