New Delhi lies on several fault lines and thus experiences frequent earthquakes, most of them of mild intensity. What was the magnitude of the notable 2015 earthquake that shook New Delhi?