Police: Officer shoots man who robbed St. Louis McDonald's restaurant