Generalized Gardner relation for gas-saturated rocks