Encoding Level-K Phylogenetic Networks