Algorithms for efficient washing of residues in Digital Microfluidic Biochips