Adam Smith’s four canons of taxation