Enhancing Revenue Generation and Progressivity of Property Taxation in Kenya