Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: Implementation and experiments