Design of optimization strategy-based halal supply chain at a meat market in Indonesia | Synapse