boyle’s law in scuba diving theory