Optimal Job Releasing and Sequencing for a Reentrant Manufacturing Line with Finite Capacity Buffers | Synapse