Tarifa, Cadix et le détroit de Gibraltar: sécurité de plongée et règles locales