Hospital operations and supply chain optimization : combining lean management tools with process mining, AI, and digital twin for sterilization processes