3D city modeling for automated verification of safety compliance rules