Suspension-thermal noise in spring-antispring systems for future gravitational-wave detectors