Helium fine structure theory for determination of α