Mathematical ship lofting