Optimizing HIV Interventions for Multiplex Social Networks via Partition-Based Random Search