Operational reliability estimates of a mining system from routine maintenance informations: a case study of a mine in Eastern Coalfieds Ltd., India