An experimental (NMR) and theoretical (GIAO) study of the tautomerism of benzotriazole in solution