Earlier than expected, Julio Rodriguez back in spring-training camp with Mariners