The glass cold-shaping technology for the mirrors of the Cherenkov Telescope ArrayAdvances in Optical and Mechanical Technologies for Telescopes and Instrumentation