An augmentation algorithm for the weighted maximum stable set problem