Optimal tax rules and public sector efficiency with an externality in an overlapping generations model