Properties of interval-valued function space under the gH-difference and their application to semi-linear interval differential equations