Отправить по sms: Robustness guarantees for deep neural networks on videos