Dallas siren “hack” used radio signals to spoof alarm, says city manager