Mining and local-level development: examining the gender dimensions of agreements between companies and communities