Как должно платить предприятие работнику за работу в праздничный день, если он работает по графику "сутки через трое"?

Если его смена выпала на праздничный день.

Пожалуйста, законы и статьи приведите в пример, почему работодатель обязан платить по двойному тарифу.

p.s. работник - военнослужащий.