Basalt vesicularity as a measure of atmospheric pressure