Spectroscopic networks and variational models for hyperfine-resolved molecular line lists