Routing-based synthesis of digital microfluidic biochips