Efficient generation of mouse models with the prime editing system