The Optimal Taxation of Height: A Case Study of Utilitarian Income Redistribution