An integrated model for predictive maintenance and inventory management under a reliability chance constraint