Which genetic engineering biotechnology did the researchers use to insert the human gene into the bacterial DNA?​