The rise and fall of IBM's 4 Pi aerospace computers: an illustrated history