It's official: Western Digital to acquire SanDisk for $19 billion | Fortune