In May, 13 Columbus restaurants opened and 7 closed