WinCC软件平台在数字化矿山中的应用