A new compact linear programming formulation for choice network revenue management