Virus Propagation and Patch Distribution in Multiplex Networks: Modeling, Analysis, and Optimal Allocation | Synapse