The history and development of indigo dyeing