Porosity form sonic log in gas-bearing shaly sandstones: field data versus empirical equations