Trigeminal nerve stimulation for epilepsy