Predicting AC Optimal Power Flows: Combining Deep Learning and Lagrangian Dual Methods