High-luminosity LHC: what is it?