The Wisconsin immunization registry experience: comparing real-time and batched file submissions from health care providers.