Title: Rockbursts and seismicity in mines