A Charge-Based Capacitance Model for Double-Gate Tunnel FETs With Closed-Form Solution