Design and analysis of double-gate junctionless vertical TFET for gas sensing applications