Gas-Lift Allocation under Precedence Constraints: Piecewise-Linear Formulation and K-Covers | IEEE Conference Publication | IEEE Xplore