Maryam Mirzakhani dies at 40