Systematic Design Methodology for Prognostic and Health Management Systems to Support Aircraft Predictive Maintenance