There are different kinds of taxes, such as income tax and sales tax. What is a tax?