A.J. Ramos on how he learned he was an All-Star