who is given credit for inventing the aqua lung