Modelling epilepsy in the mouse: challenges and solutions