Thunderstorm prediction during pre-tactical air-traffic-flow management using convolutional neural networks.