How to ensure Lean sustainability through digitization in Industry 4.0? a study in practical context using the mLean tool | IEEE Conference Publication | IEEE Xplore