Genome editing for mouse model production and high-throughput gene candidate screening