I came across this discussion point about how the Higgs mechanism generates mass for the $W$ and $Z$ gauge bosons (see attached problem below). Regarding the Higgs field factor $$\Phi^2 = \frac{1}{2}(v+h)^2$$ I think it is quite straight-forward, but I was unsure how to handle the $D_{\mu}$ expansion. Is it correct to use $$D_{\mu} = \partial_{\mu} + i \frac{g}{2}\tau W_{\mu} + i \frac{g'}{2}B_{\mu}$$ for the covariant derivative? I saw some calculated mass terms in this link (on page 9), but no explicit calculations.
Consider the kinetic term of the Higgs field $$\Phi\mathcal{L}=|D_{\mu}\Phi|^2=(D_{\mu}\Phi)^*(D^{\mu}\Phi)$$ and expand it along the minimum of the Higgs potential $$\Phi=\frac{1}{\sqrt{2}}\begin{pmatrix}0\\v+h\end{pmatrix}$$ where $v$ is the vacuum expectation value (VEV) and $h$ is the Higgs boson.
Derive the coefficients of the operators representing the gauge boson masses $m_W$, $m_Z$ and $m_A$ in terms of the gauge couplings and $v$ (you can use the expressions of $A_{\mu}$ and $Z_{\mu}$ in terms of $B_{\mu}$ and $W_{\mu}^3$ without deriving them explicitly).
Derive the coefficients of the trilinear and quadrilinear interactions between the gauge bosons $W$ and $Z$ and the $h$ boson in terms of the gauge boson masses and of $v$.