Phenomenology of GeV-scale heavy neutral leptons