Dera mineral salt, wholesale sale and export of edible and mineral rock salt in Tehran