Duke Energy Florida mobilizes about 7,000 workers to respond and restore electric service after Irma