Sox decline $5M option on Varitek