Non-linear dynamic modelling and design procedure of FV spring-dampers for base-isolation