Linear programming algorithms for lower previsions