Mathematical design of prokaryotic clone-based microarrays