Model-based prognosis using an explicit degradation model and Inverse FORM for uncertainty propagation