Inoperability Input-Output Model for Interdependent Infrastructure Sectors. I: Theory and Methodology | Synapse