Kenya’s 2018 tourism growth beats global average