Statistics for Effects of business process automation in a revenue collection agency : a case study at Kenya Revenue Authority