A.A. Agrachev, A "Gauss-Bonnet formula" for contact sub-Riemannian manifolds