Large-scale automated isolation of Escherichia coli mutants with thermosensitive DNA replication.