Michael Halliday — Australian linguist (1925-2018)