Công nghệ giải trình tự Sanger tự động