How much does a baby mining dredge cost