Phase-separation mechanism for C-terminal hyperphosphorylation of RNA polymerase II