نقش کامپیوترها در فن‌آوری فضانوردی