GeForce RTX 4080 12 GB for $899 received a 192-bit memory bus. Is it definitely not a GeForce RTX 4070?