Global Performance Guarantees for Neural Network Models of AC Power Flow