High-level Synthesis for Semi-global Matching: Is the juice worth the squeeze?