Tini Veltman (1931–2021): From Assembly Language to a Nobel Prize