Rigorous justification of the asymptotic model describing a curved‐pipe flow in a time‐dependent domain