Model-Based Nonlinear Observers for Underwater Vehicle Navigation: Theory and Preliminary Experiments