Mike Matheny being introduced to St. Louis as the manager