basic ship theory volume 1 2001