How gender diversity among the teacher workforce affects student learning