Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions