Gender discrimination from teaching staff found to have significant impact on female students’ decisions to pursue ML/AI careers, with discrimination from peers more prevalent for women than men