Optimizing AUV speed dynamics with a data-driven Koopman operator approach