Optimization Tools for the Design of Reconfigurable Digital Microfluidic Biochips