LogSpecT: Feasible Graph Learning Model from Stationary Signals with Recovery Guarantees