Master’s Thesis at Mines: Development of Algorithms and Software for Autonomous Analysis of Porosity Via X-ray Computed Tomography and Metallography