Exact digital simulation of time-invariant linear systems with applications to neuronal modeling