Masks for diving, and adventure sports in general