The management and economics of East Coast fever