Can space mining alleviate shortages of key resources?