Mimi Reinhardt, woman who typed up Schindler's list, dead at 107