how much does tar sand mining cost