Tornado damages homes in Vero Beach; no injuries