Thunderstorm vertical velocities estimated from satellite data