NVIDIA、メモリ容量12GB、ピーク性能4.29TFLOPのエンタープライズ向けGPU「Tesla K40」発表