A simulation model for African swine fever (ASF) in domestic pigs and evaluation of movement control strategies in Vietnam