Collider phenomenology of heavy neutrinos