Occupational diseases forecasting for Polish coal mining based on Prophet algorithm | IEEE Conference Publication | IEEE Xplore