NPR books editor Petra Mayer has died