Efficient progressive taxes and education subsidies