West Nile virus prompts public health emergency in Dallas County