Enhancing military medical evacuation dispatching with armed escort management: comparing model-based reinforcement learning approaches | Synapse