Added a nonlinear DVL model for estimation testing.