已知△ABC中,向量BC=(2-k,3),向量AC=(2,4),且|AB|≤4,k∈Z,求三角形ABC为锐角三角形的概率