Will 1 kg of asteroid material have been mined and returned to Earth by the end of 2030?