Big Data and Analytics for Infectious Disease Research, Operations, and Policy: Proceedings of a Workshop.