Describir: A mathematical model that simulates control options for African swine fever virus (ASFV)