Russian oil and gas budget revenues more than doubled in October