The Mariners’ season didn’t end how they wanted, but they have plenty to be proud of