The thermal noise limit to the Virgo sensitivity