Constraint shapes convergence in tetrodotoxin-resistant sodium channels of snakes