Acceleration of polarized protons in synchrotrons