MATHUSLA: A Detector Proposal to Explore the Lifetime Frontier at the HL-LHC | Publicación