The String Barcoding Problem is NP-Hard