An Algorithm for Regular Solutions of Systems of Exp-Subanalytic Equations and O-minimality of R_{an,exp}