Optimal Control of Production Systems with Unreliable Machines and Finite Buffers