The Stereo Event Builder software system of the ASTRI Mini-Array project