A spare support quantity allocation model of military-local joint support