The TIP Navy Navigation Satellite and its onboard computer system