The Nekhoroshev Theorem and the Asteroid Belt Dynamical System