A machine-learning approach to thunderstorm forecasting through post-processing of simulation data