Using game theory to optimize the allocation of defensive resources on a city scale to protect chemical facilities against multiple types of attackers