A Long-Term Growth Stable Halomonas sp. Deleted with Multiple Transposases Guided by Its Metabolic Network Model Halo-ecGEM