Texas Tech University police identifies man killed in officer-involved shooting on campus