Automated quantification of EEG spikes and spike clusters as a new read out in Theiler's virus mouse model of encephalitis-induced epilepsy