Statistics for An analysis of the Kenyan non-life insurance companies' technical efficiency