Why are there so few women in the coal mining community? Do female coal miners face the same adversities as women in tech?