Tin whiskers in electronic packaging : mechanism and modeling.