prehistoric mining