Text this: Vaccination coverage in children can be estimated from health insurance data