Phenomenology of GeV-scale heavy neutral leptons Academic Article