Mining and human capital accumulation: Evidence from the Colombian gold rush