Screening insertion libraries for mutations in many genes simultaneously using DNA microarrays