Ibn Khaldun’s Theory of Taxation and its Relevance Today