Describir: A Model-Based Synthetic Approach to the Dynamics, Guidance, and Control of AUVs