Basalt vesicularity as a measure of atmospheric pressure and palaeoelevation