Discretization schemes for high-frequency semiconductor device models