Disinfection aboard cruise liners and naval units: formation of disinfection by-products using chlorine dioxide in different qualities of drinking water.