Twitter's 2017 employee diversity numbers don't match up