Kenya's initial oil revenues will cover exploration costs first