Demographics of recreational diving