The functional form of value normalization in human reinforcement learning