Optimal tax theory: A synthesis