An algorithm for finding a basis of the fixed point subgroup of an automorphism of a free group