Digital Microfluidic Biochips: Design Automation and Optimization