Western Digital launches SN840 SSD with high-performance PCIe Gen 3