HE-LHC: The High-Energy Large Hadron Collider - Abada, A; Luzum, Matthew William (European Physical Journal Special Topics, 2019)