In the diagram below, lines AD and BE are angle bisectors of angles BAC and ABC respectively, and they intersect at T. We know that BC = 12, AC = 8, and BF = 3 + AF. Find AB.