Physics-Informed Neural Networks for AC Optimal Power Flow