Russia’s Gazprom to increase gas supplies to Hungary