Rockies have traded Nolan Arenado to the Cardinals