Instrument control and data acquisition for the VIRGO interferometer