Dynamic modeling and stability analysis for underwater craft with wing