On Optimal Taxation with Costly Administration