Title: So you think you're tough? Getting serious about gender in mining