Text this: Occupational injuries in the mining sector (2000-2010). comparison with the construction sector