FireEye’s quarterly revenue rises 12.6 percent