Reliability Engineering of BeiDou Navigation Satellite