Computational and experimental search for potential polyanionic K-ion cathode materials