Cross-contamination aware design methodology for pin-constrained digital microfluidic biochips