Digital control system of the VIRGO interferometric antenna