GeoAI in the US Geological Survey for topographic mapping. Issue 1 (30th August 2021)