A random variable $X$ follows a distribution with the probability density function $f(x) = k x^3 e^{-x^2/2}$ for $x > 0$. What is the value of the constant $k$ required to normalize this distribution?