Mathematical and Computational Techniques for Predicting the Squat of Ships