The Fermilab short-baseline neutrino program