Describir: Modelling vaccination strategies against Rift Valley fever in livestock in Kenya