[Assessment of vaccination coverage of children in a medium-sized Brazilian city using electronic immunization registry].