Encoding level-k phylogenetic networks