The act that shaped the gender of industrial mining: Unintended impacts of the British mines act of 1842 on women’s status in the industry