In depth analysis of the Shamoon 2012 campaign that targeted Saudi Aramco