Study and application of vibrating wire strain gauge in monitoring cable tension of FAST cable-net