一个圆锥的母线长20,母线与轴的夹角为30度,则圆锥的高为多少?