The nekhoroshev theorem and the asteroid belt dynamical system