Unified Design and Optimization Tools for Digital Microfluidic Biochips