Nigel Higson: A rapid tour through noncommutative geometry