Control of East Coast Fever by immunization