Evaluate the definite integral
$$\int_0^{3 \sqrt{2}/2} \sqrt{9 - x^2} \, dx$$
Answer: