Defect-Tolerant Design and Optimization of a Digital Microfluidic Biochip for Protein Crystallization