The ASTRI mini-array within the future Cherenkov Telescope Array