LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation