The history of polyhalite