Gravar-mail: Risk based culling for highly infectious diseases of livestock