Mariners end 5-game losing streak, 10-3 at Texas