Phase transition and atomic structure of an Fe3Si(100) single crystal surface