Price tag for Gazprom’s mobile CEO: $3.7m