space-grade microprocessors