A PAC-Bayes approach to the Set Covering Machine