West Columbus Greyhound bus operators, city come to an agree