Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis