Mario Gozzano: the work of an EEG pioneer