Physical Design and Mask Synthesis for Directed Self-Assembly Lithography