The process by which a library of clones with different size inserts is first DNA sequenced and then a computer is used to piece the DNA sequences together is called________.