Mining Women. Gender in the Development of a Global Industry, 1670 to 2005, Paperback/***