Report: NFL hires Sarah Thomas as its first female official