Judge formally sentences Tulsa cop killer to death