An asteroid mining game