Spare parts inventory control under system availability constraints door A.A. Kranenburg