4. ( 30 points) Gotham city has 8 districts. City hospital wants to locate three ambulances to different districts. The following table provides the population size of each district and the travel time between each pair of districts. Formulate an integer programming model to determine locations of ambulances so as to maximize the total population that can be reached in less than (or equal to) 4 minutes