First-principles study of high-temperature phases of K2SeO4