Sea salt and Himalayan salt are often called healthier than table salt. Here is what matters about trace minerals, iodine, and microplastics.