Characterization of the Virgo seismic environment RID A-9946-2012 RID C-7233-2008 RID A-1920-2008