Aspects of physics important to diving