'Mank' leads Oscar nominations in a year of record diversity