QUBO Models for the FIFO Stack-Up Problem and Experimental Evaluation on a Quantum Annealer | Synapse