In vivo mRNA display enables large-scale proteomics by next generation sequencing