Anything mined from inside the Earth can only end up increasing the volume of the Atmosphere, or increasing the elevation of the sea levels, or being burried back inside the Earth.
The total volume of the System ( entire Earth ) remains fairly constant, but
where it moves to changes., by both natural and man made changes.