Martian dust devil statistics from high‐resolution large‐eddy simulations