Mathematical Models in Ship Theory