Application of Model-based Prognostics Framework to Pneumatic Valves on Cryogenic Testbed