Impact modeling for the Double Asteroid Redirection Test (DART) mission. (August 2020)