Statistics for Semi-classical kinetic theory for massive spin-half fermions with leading-order spin effects