Nomenclature for mammalian potassium channel genes