Construction in the mining sector