Cardinals to exercise Jaime Garcia’s 2017 option