Describir: On the Efficient Design & Synthesis of Differential Clock Distribution Networks