Smoking-Gun Analysis Links Stuxnet to Natanz