Exact design of digital microfluidic biochips. (2018)