Thermal noise limit in the Virgo mirror suspension