Is tizanidine hcl 4mg tab often prescribed for symptoms and treatment of restless leg syndrome?