Shape Modeling of Dimorphos for the Double Asteroid Redirection Test (DART)