The statistics of tin whisker diameters versus the underlying film grains