Infielder will make $13.5 million in '23; Dodgers hold club option for '24