Finally, good news for Sony: $2.7B Army super-cloud-computer doesn't work