A theoretical and experimental procedure for design optimization of CVT belts