Let $\alpha, \beta$ be the distinct positive roots of the equation $2x = \tan x$. Evaluate the integral:

$$\int_0^1 \sin(\alpha x) \sin(\beta x)\, dx$$

Let's think step by step and output the final answer within \boxed{}.
user