ProPhex: a lossless k-mer index based on the BWT