What was the known total value of pirated software in 2010?