미 항공우주국, 인텔­SGI와 2012년까지 10페타 플롭 컴퓨터 개발