Exact optimality of the Shiryaev-Roberts procedure for detecting changes in distributions