Research progress and prospects of gliding robots applied in ocean observation