Facility Location (FL), Congestion, Linearization, Valid Inequalities, Lifting Inequalities, Branch-and-Cut