Lévy process-based stochastic modeling for machine performance degradation prognosis