Gazprom supplies a record volume of gas to China