Компактные счетчики заряженной компоненты как дополнительное средство верификации моделирования прохождения космических лучей через атмосферу Земли