Tarifa, Cádiz y el Estrecho de Gibraltar: seguridad de buceo y reglas locales