Length sensing and control in the Virgo gravitational wave interferometer