(1, 2)-Survivable Networks: Facets and Branch-and-Cut