Computing tolerance limits for the lifetime of a k-out-of-n:F system based on prior information and censored data