Solving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow.