Statistics for ICT policies in Kenya and ways of improving existing ICT policy