Phobos and Mars orbit as a base for asteroid exploration and mining. (May 2022)