Assessing the benefits of using mate-pairs to resolve repeats in de novo short-read prokaryotic assemblies