مستند «مریم میرزاخانی»؛ «ملکۀ ریاضی جهان»