The potassium channel Kv4.2 regulates dendritic spine morphology, electroencephalographic characteristics and seizure susceptibility in mice