Gazprom tallies gas production, infrastructure progress in eastern Russia