GeForce RTX 4080 sales are reported to be sluggish