Neural Network Controller for VTOL Aircraft with Safety Guarantees