Rift Valley fever in Kenyan pastoral livestock: Individual-based demographic model to analyse the impact of Rift Valley fever
