Richards pitches Padres past Mariners, 5-4