Linear Programming for Buffer Management