Exchange-striction associated with the elliptical proper helical magnetic structure in the ferroelectric phase of CuFe1−yGayO2