Tarifa, Cádis e o Estreito de Gibraltar: taxas, permissões e orçamento de mergulho