Richard leads Padres to 9-5 win over Mariners