The {SMT-LIB} Initiative and the Rise of {SMT} - {(HVC} 2010 Award Talk)