The Mine Safety and Health Administration, part of the Labor Department, organized an online platform for miners, who dig things out of the earth.