Local curvature-dimension condition implies measure-contraction property