What is taxation and its types?