An ab initio study of tautomerism of uracil, thymine, 5-fluorouracil, and cytosine