Cardinals say trading Nolan Arenado still top priority