sMILES SSPs: a library of semi-empirical MILES stellar population models with variable [α/Fe] abundances