Efficient Certification of Spatial Robustness