Prediction of lightning flash density with the WRF model