A theoretical study of the accurate analytic potential energy curve and spectroscopic properties for AlF (X1Σ