System Support for Generally Programmable Digital Microfluidic Biochip Devices