A bi-level p-facility network design problem in the presence of congestion. (February 2023)