Evaluation of DSV Alvin 12,000-foot sea-water variable-ballast system