Navigation for underwater vehicles based on asynchronous nonlinear estimation