Separation Principle for Infinite-Horizon Average-Cost LQG Control