Architectural-level synthesis of digital microfluidics-based biochips