Linear semi-infinite programming approach for entanglement quantification