Mining spatio-temporal data of traffic accidents and spatial pattern visualization