A dual ascent procedure for the set partitioning problem