Computational fluid dynamics prediction of marine propeller cavitation including solution verification