Where do mining firms land on Industry 4.0 maturity index?