Provably Efficient Reinforcement Learning with Multinomial Logit Function Approximation