Gas pressure measurement