Mining New Crystal Protein Genes from Bacillus thuringiensis on the Basis of Mixed Plasmid-Enriched Genome Sequencing and a Computational Pipeline