Global Optimization of Gas Lifting Operations: A Comparative Study of Piecewise Linear Formulations