The High Flux Isotope Reactor – past, present, and future