IA-MobileNet: A formally robust MobileNet for input intensity perturbations | Synapse