Stav dette: Analysis and algorithms for service parts supply chains