Mathematical modelling of stochastic inventory systems at service facility with heterogeneous servers