A bi-level network interdiction model for solving the hazmat routing problem